Lightweight higher-kinded polymorphism (Extended version) Jeremy Yallop and Leo White University of Cambridge Abstract. Higher-kinded polymorphism —i.e. abstraction over type constructors— is an essential component

Source URL: www.lpw25.net

• Type theory
• Data types
• Functional programming
• Monad
• OCaml
• Type class
• Caml
• Type system
• Kind
• Software engineering
• Computing
• Computer programming

Representing Personality Traits as Conditionals Richard Evans1 Abstract. This paper compares two approaches to representing personality traits in synthetic agents. It proposes a set of goals that any computational implem

Source URL: philpapers.org

• Ethology
• Personality
• Social psychology
• Conscientiousness
• The Sims 3
• Personality psychology
• Trait theory
• Personality type
• Appraisal theory
• Mind
• Personality traits
• Behavior

Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed]

Source URL: www.kestreltechnology.com

• Program analysis
• Data types
• Software testing
• Abstract interpretation
• Static program analysis
• Patrick Cousot
• Software verification
• Type system
• Polyspace
• Software engineering
• Programming language theory
• Computing

The Paradox of Realistic Dialogue A.L. Davis Abstract The type of novelistic dialogue that is often considered “realistic”, or analogous to actual conversation, is not only a highly artificial construct but often ten

Source URL: pandora.nla.gov.au

• Fiction-writing mode
• Rhetoric
• Style
• X
• Ronnie Barker
• Jane Barker
• Fiction
• Literature
• Dialogue

Abstract Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997 S. Owre N. Shankar

Source URL: pvs.csl.sri.com

• Data types
• Programming idioms
• Type theory
• Recursion
• Functional programming
• Recursive data type
• List
• C++ classes
• EXPRESS
• Computer programming
• Software engineering
• Computing

ACPEL2015 Abstract (max. 250 words) Preferred presentation type:

Source URL: www.acpel2015.org

The Inferno Shell Roger Peppé [removed] ABSTRACT The Inferno shell sh is a reasonably small shell that brings together aspects of several other shells along with Inferno’s dynamically loaded modules, which it

Source URL: www.vitanuova.com

• Unix shells
• Bash
• Test
• Batch file
• C shell
• Make
• True and false
• Type
• Echo
• Computing
• Software
• Scripting languages

ABSTRACT TRANSMITTAL FORM The 3rd International Oyster Symposium 1. Presenting author information (Type or Print Clearly) Title (Check One): Dr. Mr. Ms. Mrs. First Name: Surname (Family Name):

Source URL: www.worldoyster.org

• Bivalves
• Oyster
• Seafood
• Phyla
• Email
• Fax
• Technology
• Food and drink
• Aquaculture

DOC Document

Source URL: www.asmr.org.au

• Knowledge
• Type system
• Type theory
• Abstract
• Academic publishing

Embedding Foreign Systems in Postgres Duncan Temple Lang December 11, 2000 Abstract We describe a mechanism by which two high-level statistical computing environments are embedded within a Relational Database Management

Source URL: www.omegahat.org

• Cross-platform software
• Subroutines
• PostgreSQL
• Constructor
• Function object
• C++ classes
• Java
• Type signature
• Closure
• Software engineering
• Computing
• Computer programming